[next] [prev] [prev-tail] [tail] [up]

Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
  2.1.8 Mupad
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 126, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 195, 197, 199, 201, 203, 205, 207, 209, 211, 213, 215, 217, 219, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 285, 286, 287, 288, 289, 290, 291, 293, 294, 295, 296, 297, 298 }

B grade: { }

C grade: { 112, 113, 125, 127, 128, 129, 157, 158, 191, 192, 193, 194, 196, 198, 200, 202, 204, 206, 208, 210, 212, 214, 216, 218, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 283 }

F grade: { 284, 292 }

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 278, 280, 281 }

B grade: { 126, 269, 270, 271, 279 }

C grade: { }

F grade: { 272, 273, 274, 275, 276, 277, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298 }

2.1.4 Maxima

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 92, 93, 94, 95, 97, 98, 99, 100, 101, 102, 106, 109, 110, 111, 112, 119, 120, 121, 122, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 269, 270, 271, 275, 278, 280, 281 }

B grade: { 91, 96, 107, 108, 113, 114, 115, 116, 117, 118, 279, 283 }

C grade: { }

F grade: { 103, 104, 105, 123, 124, 125, 126, 127, 128, 129, 142, 143, 144, 156, 157, 158, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 272, 273, 274, 276, 277, 282, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 85, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 275, 278, 279, 280, 281 }

B grade: { 84, 86, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 269, 270, 271, 283 }

C grade: { }

F grade: { 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 272, 273, 274, 276, 277, 282, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298 }

2.1.6 Sympy

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 44, 46, 47, 48, 50, 53, 55, 57, 58, 59, 61, 62, 63, 64, 65, 67, 68, 69, 71, 73, 74, 75, 76, 78, 79, 80, 81, 82, 84, 86, 87, 88, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 186, 187, 188, 189, 190, 191, 192, 269, 270, 271, 278, 279, 280, 281 }

B grade: { 28, 43, 45, 49, 51, 52, 54, 56, 60, 66, 70, 72, 77, 83, 85 }

C grade: { }

F grade: { 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 183, 184, 185, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 272, 273, 274, 275, 276, 277, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298 }

2.1.7 Giac

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 142, 145, 146, 147, 149, 155, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 278, 279, 280, 281 }

B grade: { 28, 95, 96, 97, 98, 99, 113, 114, 115, 116, 117, 118, 269, 270, 271, 283 }

C grade: { }

F grade: { 139, 140, 141, 143, 144, 148, 150, 151, 152, 153, 154, 156, 157, 158, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 272, 273, 274, 275, 276, 277, 282, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298 }

2.1.8 Mupad

A grade: { }

B grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 96, 97, 98, 99, 100, 101, 102, 103, 108, 114, 115, 116, 117, 118, 119, 120, 121, 122, 133, 134, 135, 136, 137, 138, 139, 140, 141, 148, 149, 150, 151, 152, 153, 154, 155, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 269, 270, 271, 278, 279, 280, 281 }

C grade: { }

F grade: { 94, 95, 104, 105, 106, 107, 109, 110, 111, 112, 113, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 142, 143, 144, 145, 146, 147, 156, 157, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 272, 273, 274, 275, 276, 277, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\)

Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 33 28 27 29 29 29 28
normalized size 1 1.00 1.00 0.85 0.82 0.88 0.88 0.88 0.85
time (sec) N/A 0.027 0.007 0.043 1.403 0.812 0.074 0.150 0.179
Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 33 28 27 29 29 29 28
normalized size 1 1.00 1.00 0.85 0.82 0.88 0.88 0.88 0.85
time (sec) N/A 0.041 0.010 0.044 1.259 0.996 0.066 0.149 0.059
Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 33 28 27 29 29 29 28
normalized size 1 1.00 1.00 0.85 0.82 0.88 0.88 0.88 0.85
time (sec) N/A 0.024 0.006 0.049 1.348 0.537 0.066 0.193 0.040
Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 33 33 33 28 27 27 29 29 28
normalized size 1 1.00 1.00 0.85 0.82 0.82 0.88 0.88 0.85
time (sec) N/A 0.038 0.008 0.043 1.307 0.558 0.067 0.148 0.059
Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 28 28 28 25 24 24 26 26 25
normalized size 1 1.00 1.00 0.89 0.86 0.86 0.93 0.93 0.89
time (sec) N/A 0.019 0.019 0.041 1.406 0.697 0.066 0.146 0.060
Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 29 28 28 25 27 30 26
normalized size 1 1.00 1.00 0.97 0.97 0.86 0.93 1.03 0.90
time (sec) N/A 0.027 0.009 0.041 1.334 0.988 0.117 0.147 0.061
Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 26 24 24 28 20 23 24
normalized size 1 1.00 1.00 0.92 0.92 1.08 0.77 0.88 0.92
time (sec) N/A 0.023 0.009 0.059 1.325 0.834 0.115 0.158 0.073
Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 29 26 28 30 26 42 25
normalized size 1 1.00 1.00 0.90 0.97 1.03 0.90 1.45 0.86
time (sec) N/A 0.028 0.015 0.049 1.316 0.785 0.193 0.162 0.042
Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 26 26 27 25 26 29 27 28 26
normalized size 1 1.00 1.04 0.96 1.00 1.12 1.04 1.08 1.00
time (sec) N/A 0.022 0.034 0.049 1.345 0.771 0.219 0.169 0.057
Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 29 29 31 28 30 31 29 39 29
normalized size 1 1.00 1.07 0.97 1.03 1.07 1.00 1.34 1.00
time (sec) N/A 0.027 0.027 0.049 1.396 0.819 0.374 0.153 0.074
Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 33 28 29 29 32 31 29
normalized size 1 1.00 1.06 0.90 0.94 0.94 1.03 1.00 0.94
time (sec) N/A 0.022 0.012 0.050 1.347 0.767 0.387 0.148 0.038
Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 55 52 51 53 56 53 51
normalized size 1 1.00 1.00 0.95 0.93 0.96 1.02 0.96 0.93
time (sec) N/A 0.048 0.010 0.043 1.333 0.617 0.076 0.145 0.085
Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 55 52 51 51 53 53 51
normalized size 1 1.00 1.00 0.95 0.93 0.93 0.96 0.96 0.93
time (sec) N/A 0.068 0.009 0.044 1.374 0.584 0.080 0.150 0.047
Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 55 52 51 51 56 53 51
normalized size 1 1.00 1.00 0.95 0.93 0.93 1.02 0.96 0.93
time (sec) N/A 0.039 0.009 0.044 1.322 0.967 0.080 0.167 0.049
Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 51 52 51 51 53 53 51
normalized size 1 1.00 1.21 1.24 1.21 1.21 1.26 1.26 1.21
time (sec) N/A 0.070 0.016 0.039 1.363 0.855 0.082 0.162 0.045
Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 50 50 50 49 48 48 53 50 48
normalized size 1 1.00 1.00 0.98 0.96 0.96 1.06 1.00 0.96
time (sec) N/A 0.032 0.009 0.048 1.244 0.918 0.080 0.174 0.047
Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 43 43 51 51 52 49 49 53 48
normalized size 1 1.00 1.19 1.19 1.21 1.14 1.14 1.23 1.12
time (sec) N/A 0.040 0.017 0.049 1.337 0.830 0.162 0.146 0.042
Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 48 48 48 49 48 53 48 48 48
normalized size 1 1.00 1.00 1.02 1.00 1.10 1.00 1.00 1.00
time (sec) N/A 0.037 0.035 0.047 1.294 0.941 0.144 0.149 0.051
Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 49 50 52 54 48 70 48
normalized size 1 1.00 0.96 0.98 1.02 1.06 0.94 1.37 0.94
time (sec) N/A 0.053 0.030 0.050 1.345 0.815 0.236 0.187 0.047
Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 48 48 50 46 50 52 51 50 50
normalized size 1 1.00 1.04 0.96 1.04 1.08 1.06 1.04 1.04
time (sec) N/A 0.037 0.021 0.047 1.319 0.882 0.255 0.143 0.049
Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 50 51 54 55 51 72 51
normalized size 1 1.00 0.98 1.00 1.06 1.08 1.00 1.41 1.00
time (sec) N/A 0.047 0.041 0.056 1.372 0.849 0.551 0.188 0.081
Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 48 48 48 45 51 53 54 53 50
normalized size 1 1.00 1.00 0.94 1.06 1.10 1.12 1.10 1.04
time (sec) N/A 0.037 0.027 0.055 1.389 1.005 0.609 0.155 0.068
Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 53 52 55 55 56 66 51
normalized size 1 1.00 1.04 1.02 1.08 1.08 1.10 1.29 1.00
time (sec) N/A 0.045 0.047 0.053 1.273 0.859 0.995 0.191 0.091
Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 53 53 59 48 53 53 58 55 52
normalized size 1 1.00 1.11 0.91 1.00 1.00 1.09 1.04 0.98
time (sec) N/A 0.036 0.021 0.049 1.370 1.237 1.074 0.150 0.038
Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 75 75 75 76 73 73 80 77 69
normalized size 1 1.00 1.00 1.01 0.97 0.97 1.07 1.03 0.92
time (sec) N/A 0.064 0.026 0.037 1.344 0.772 0.085 0.188 0.060
Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 69 76 73 73 82 77 69
normalized size 1 1.00 1.01 1.12 1.07 1.07 1.21 1.13 1.01
time (sec) N/A 0.134 0.031 0.039 1.317 0.932 0.086 0.212 0.030
Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 75 75 75 76 73 73 82 77 69
normalized size 1 1.00 1.00 1.01 0.97 0.97 1.09 1.03 0.92
time (sec) N/A 0.055 0.014 0.045 1.367 0.827 0.086 0.153 0.030
Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 69 76 73 73 80 77 69
normalized size 1 1.00 1.64 1.81 1.74 1.74 1.90 1.83 1.64
time (sec) N/A 0.071 0.024 0.043 1.445 0.881 0.085 0.153 0.031
Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 70 73 70 70 76 73 65
normalized size 1 1.00 1.00 1.04 1.00 1.00 1.09 1.04 0.93
time (sec) N/A 0.042 0.012 0.043 1.281 0.830 0.087 0.166 0.031
Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 60 60 71 76 74 71 80 78 67
normalized size 1 1.00 1.18 1.27 1.23 1.18 1.33 1.30 1.12
time (sec) N/A 0.053 0.022 0.045 1.315 0.908 0.180 0.152 0.035
Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 65 65 65 71 69 75 68 70 65
normalized size 1 1.00 1.00 1.09 1.06 1.15 1.05 1.08 1.00
time (sec) N/A 0.045 0.029 0.050 1.337 0.970 0.171 0.156 0.033
Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 71 71 73 75 74 77 78 97 67
normalized size 1 1.00 1.03 1.06 1.04 1.08 1.10 1.37 0.94
time (sec) N/A 0.079 0.044 0.051 1.301 0.562 0.265 0.173 0.039
Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 71 70 73 75 75 74 68
normalized size 1 1.00 1.03 1.01 1.06 1.09 1.09 1.07 0.99
time (sec) N/A 0.050 0.035 0.049 1.331 0.860 0.291 0.151 0.057
Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 73 76 76 76 75 98 76
normalized size 1 1.00 1.01 1.06 1.06 1.06 1.04 1.36 1.06
time (sec) N/A 0.072 0.034 0.049 1.284 0.686 0.589 0.153 0.074
Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 68 64 73 75 78 75 73
normalized size 1 1.00 1.00 0.94 1.07 1.10 1.15 1.10 1.07
time (sec) N/A 0.050 0.036 0.047 1.326 0.931 0.676 0.164 0.057
Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 71 71 71 75 77 77 78 99 75
normalized size 1 1.00 1.00 1.06 1.08 1.08 1.10 1.39 1.06
time (sec) N/A 0.064 0.047 0.052 1.442 0.913 1.294 0.152 0.087
Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 66 66 66 63 73 75 80 77 71
normalized size 1 1.00 1.00 0.95 1.11 1.14 1.21 1.17 1.08
time (sec) N/A 0.050 0.036 0.046 1.301 0.704 1.497 0.210 0.080
Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 77 76 77 77 82 90 75
normalized size 1 1.00 1.22 1.21 1.22 1.22 1.30 1.43 1.19
time (sec) N/A 0.047 0.059 0.053 1.322 0.826 2.367 0.167 0.103
Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 73 73 73 66 75 75 83 79 74
normalized size 1 1.00 1.00 0.90 1.03 1.03 1.14 1.08 1.01
time (sec) N/A 0.049 0.039 0.046 1.383 0.820 2.446 0.152 0.070
Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 49 49 78 66 75 75 83 79 76
normalized size 1 1.00 1.59 1.35 1.53 1.53 1.69 1.61 1.55
time (sec) N/A 0.040 0.021 0.048 1.328 0.550 3.426 0.157 0.071
Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 119 119 119 140 124 274 204 133 144
normalized size 1 1.00 1.00 1.18 1.04 2.30 1.71 1.12 1.21
time (sec) N/A 0.087 0.085 0.048 3.005 0.826 0.444 0.170 0.171
Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 96 96 92 110 97 98 94 101 100
normalized size 1 1.00 0.96 1.15 1.01 1.02 0.98 1.05 1.04
time (sec) N/A 0.126 0.041 0.043 1.380 1.020 0.352 0.152 0.058
Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 98 98 116 100 228 180 108 118
normalized size 1 1.00 1.00 1.18 1.02 2.33 1.84 1.10 1.20
time (sec) N/A 0.076 0.068 0.049 2.940 0.986 0.408 0.182 0.043
Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 75 75 71 86 74 75 70 77 76
normalized size 1 1.00 0.95 1.15 0.99 1.00 0.93 1.03 1.01
time (sec) N/A 0.094 0.032 0.045 1.337 0.844 0.319 0.154 0.087
Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 77 77 77 92 78 178 153 85 96
normalized size 1 1.00 1.00 1.19 1.01 2.31 1.99 1.10 1.25
time (sec) N/A 0.066 0.057 0.049 2.864 0.961 0.372 0.178 0.066
Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 47 62 50 51 46 52 52
normalized size 1 1.00 0.87 1.15 0.93 0.94 0.85 0.96 0.96
time (sec) N/A 0.069 0.021 0.051 1.326 0.850 0.286 0.152 0.074
Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 57 68 53 129 90 57 70
normalized size 1 1.00 0.98 1.17 0.91 2.22 1.55 0.98 1.21
time (sec) N/A 0.050 0.043 0.047 2.859 0.932 0.337 0.158 0.107
Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 35 35 31 40 31 30 27 32 31
normalized size 1 1.00 0.89 1.14 0.89 0.86 0.77 0.91 0.89
time (sec) N/A 0.043 0.013 0.044 1.299 0.763 0.250 0.232 0.056
Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 40 40 40 45 34 99 82 34 31
normalized size 1 1.00 1.00 1.12 0.85 2.48 2.05 0.85 0.78
time (sec) N/A 0.028 0.025 0.044 2.924 0.899 0.288 0.160 0.054
Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 34 34 34 37 35 32 26 34 32
normalized size 1 1.00 1.00 1.09 1.03 0.94 0.76 1.00 0.94
time (sec) N/A 0.041 0.013 0.047 1.343 0.990 0.755 0.200 0.085
Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 42 42 42 48 36 105 82 36 35
normalized size 1 1.00 1.00 1.14 0.86 2.50 1.95 0.86 0.83
time (sec) N/A 0.032 0.049 0.048 2.944 1.045 0.423 0.165 0.092
Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 41 39 51 103 75 38 33
normalized size 1 1.00 1.00 0.95 1.24 2.51 1.83 0.93 0.80
time (sec) N/A 0.034 0.026 0.049 3.062 0.822 0.443 0.152 0.145
Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 49 49 49 56 48 47 41 71 46
normalized size 1 1.00 1.00 1.14 0.98 0.96 0.84 1.45 0.94
time (sec) N/A 0.056 0.023 0.055 1.319 0.707 0.756 0.154 0.137
Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 60 72 56 135 129 57 53
normalized size 1 1.00 0.98 1.18 0.92 2.21 2.11 0.93 0.87
time (sec) N/A 0.056 0.087 0.057 2.815 0.822 0.437 0.158 0.106
Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 70 81 70 73 61 100 70
normalized size 1 1.00 1.00 1.16 1.00 1.04 0.87 1.43 1.00
time (sec) N/A 0.072 0.038 0.054 1.377 0.738 0.918 0.190 0.137
Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 78 96 79 184 163 81 70
normalized size 1 1.00 1.00 1.23 1.01 2.36 2.09 1.04 0.90
time (sec) N/A 0.068 0.089 0.048 3.048 1.132 0.583 0.156 0.106
Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 92 92 96 107 96 98 88 126 92
normalized size 1 1.00 1.04 1.16 1.04 1.07 0.96 1.37 1.00
time (sec) N/A 0.090 0.046 0.046 1.280 0.559 1.412 0.155 0.153
Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 133 133 134 155 136 350 238 139 203
normalized size 1 1.00 1.01 1.17 1.02 2.63 1.79 1.05 1.53
time (sec) N/A 0.166 0.114 0.053 2.940 0.870 1.012 0.169 0.104
Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 105 105 93 122 107 148 104 135 121
normalized size 1 1.00 0.89 1.16 1.02 1.41 0.99 1.29 1.15
time (sec) N/A 0.135 0.078 0.054 1.380 0.953 0.930 0.154 0.097
Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 110 110 111 132 112 298 211 115 141
normalized size 1 1.00 1.01 1.20 1.02 2.71 1.92 1.05 1.28
time (sec) N/A 0.118 0.091 0.053 3.020 1.151 0.761 0.156 0.085
Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 83 83 72 98 82 121 78 106 86
normalized size 1 1.00 0.87 1.18 0.99 1.46 0.94 1.28 1.04
time (sec) N/A 0.098 0.058 0.054 1.322 0.791 0.703 0.167 0.072
Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 89 105 85 240 129 88 104
normalized size 1 1.00 1.00 1.18 0.96 2.70 1.45 0.99 1.17
time (sec) N/A 0.089 0.080 0.064 3.026 0.936 0.689 0.157 0.110
Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 50 74 60 81 56 70 62
normalized size 1 1.00 0.82 1.21 0.98 1.33 0.92 1.15 1.02
time (sec) N/A 0.070 0.038 0.056 1.310 0.883 0.600 0.156 0.116
Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 68 82 61 208 114 59 59
normalized size 1 1.00 1.00 1.21 0.90 3.06 1.68 0.87 0.87
time (sec) N/A 0.061 0.056 0.053 2.999 0.723 0.553 0.191 0.126
Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 41 41 41 47 40 44 36 37 37
normalized size 1 1.00 1.00 1.15 0.98 1.07 0.88 0.90 0.90
time (sec) N/A 0.047 0.014 0.054 1.311 0.870 0.374 0.187 0.086
Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 63 68 57 182 112 57 51
normalized size 1 1.00 1.00 1.08 0.90 2.89 1.78 0.90 0.81
time (sec) N/A 0.033 0.051 0.056 2.965 0.655 0.417 0.182 0.120
Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 51 51 46 53 51 70 46 52 47
normalized size 1 1.00 0.90 1.04 1.00 1.37 0.90 1.02 0.92
time (sec) N/A 0.055 0.034 0.055 1.314 0.878 0.441 0.157 0.159
Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 70 70 70 85 63 210 114 62 63
normalized size 1 1.00 1.00 1.21 0.90 3.00 1.63 0.89 0.90
time (sec) N/A 0.074 0.036 0.056 2.977 1.035 0.506 0.213 0.129
Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 73 73 64 86 76 117 70 80 78
normalized size 1 1.00 0.88 1.18 1.04 1.60 0.96 1.10 1.07
time (sec) N/A 0.080 0.060 0.070 1.332 0.800 0.880 0.159 0.147
Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 90 90 90 110 93 250 184 85 83
normalized size 1 1.00 1.00 1.22 1.03 2.78 2.04 0.94 0.92
time (sec) N/A 0.117 0.082 0.074 3.004 0.893 0.603 0.157 0.137
Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 85 114 106 154 100 150 100
normalized size 1 1.00 0.88 1.18 1.09 1.59 1.03 1.55 1.03
time (sec) N/A 0.108 0.106 0.056 1.328 0.928 1.040 0.322 0.138
Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 111 111 112 136 119 308 218 112 104
normalized size 1 1.00 1.01 1.23 1.07 2.77 1.96 1.01 0.94
time (sec) N/A 0.198 0.099 0.056 2.942 0.812 0.699 0.168 0.158
Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 140 140 133 174 147 416 252 138 177
normalized size 1 1.00 0.95 1.24 1.05 2.97 1.80 0.99 1.26
time (sec) N/A 0.235 0.144 0.059 2.897 1.054 1.399 0.181 0.120
Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 111 111 94 134 116 179 119 132 118
normalized size 1 1.00 0.85 1.21 1.05 1.61 1.07 1.19 1.06
time (sec) N/A 0.136 0.095 0.060 1.412 0.773 1.519 0.177 0.118
Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 118 118 113 147 120 358 214 111 138
normalized size 1 1.00 0.96 1.25 1.02 3.03 1.81 0.94 1.17
time (sec) N/A 0.162 0.134 0.055 3.017 0.878 1.297 0.163 0.078
Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 89 89 92 109 94 142 94 93 95
normalized size 1 1.00 1.03 1.22 1.06 1.60 1.06 1.04 1.07
time (sec) N/A 0.102 0.048 0.055 1.360 0.993 1.294 0.162 0.091
Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 92 122 94 328 194 80 92
normalized size 1 1.00 0.97 1.28 0.99 3.45 2.04 0.84 0.97
time (sec) N/A 0.099 0.109 0.052 2.938 0.820 1.110 0.177 0.152
Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 64 80 72 89 70 55 70
normalized size 1 1.00 0.96 1.19 1.07 1.33 1.04 0.82 1.04
time (sec) N/A 0.076 0.026 0.054 1.335 0.779 0.932 0.189 0.108
Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 90 90 83 89 92 301 155 78 82
normalized size 1 1.00 0.92 0.99 1.02 3.34 1.72 0.87 0.91
time (sec) N/A 0.076 0.122 0.058 2.980 0.990 0.762 0.160 0.146
Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 32 32 30 39 42 42 42 28 44
normalized size 1 1.00 0.94 1.22 1.31 1.31 1.31 0.88 1.38
time (sec) N/A 0.031 0.014 0.053 1.348 0.740 0.545 0.161 0.076
Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 92 92 84 90 92 300 150 78 82
normalized size 1 1.00 0.91 0.98 1.00 3.26 1.63 0.85 0.89
time (sec) N/A 0.045 0.083 0.056 2.949 1.058 0.605 0.159 0.140
Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 59 68 77 119 75 76 71
normalized size 1 1.00 0.87 1.00 1.13 1.75 1.10 1.12 1.04
time (sec) N/A 0.073 0.068 0.060 1.416 0.692 0.594 0.158 0.178
Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 96 96 96 125 96 324 194 82 113
normalized size 1 1.00 1.00 1.30 1.00 3.38 2.02 0.85 1.18
time (sec) N/A 0.118 0.097 0.056 2.967 1.084 0.727 0.166 0.176
Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 86 118 109 197 107 105 107
normalized size 1 1.00 0.89 1.22 1.12 2.03 1.10 1.08 1.10
time (sec) N/A 0.117 0.100 0.063 1.373 0.883 1.113 0.183 0.152
Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 117 117 119 152 128 368 226 108 114
normalized size 1 1.00 1.02 1.30 1.09 3.15 1.93 0.92 0.97
time (sec) N/A 0.177 0.077 0.062 3.111 0.762 0.828 0.162 0.179
Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 121 121 108 150 137 229 136 132 131
normalized size 1 1.00 0.89 1.24 1.13 1.89 1.12 1.09 1.08
time (sec) N/A 0.131 0.088 0.065 1.429 1.030 1.251 0.169 0.174
Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 140 140 140 177 154 426 260 135 135
normalized size 1 1.00 1.00 1.26 1.10 3.04 1.86 0.96 0.96
time (sec) N/A 0.332 0.085 0.072 3.024 0.969 0.920 0.162 0.195
Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 148 148 135 180 170 267 165 201 155
normalized size 1 1.00 0.91 1.22 1.15 1.80 1.11 1.36 1.05
time (sec) N/A 0.173 0.136 0.060 1.433 0.713 1.334 0.166 0.185
Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 218 218 193 290 321 368 0 245 289
normalized size 1 1.00 0.89 1.33 1.47 1.69 0.00 1.12 1.33
time (sec) N/A 0.381 0.320 0.078 1.622 1.478 0.000 0.230 1.470
Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 181 181 173 248 273 321 0 211 233
normalized size 1 1.00 0.96 1.37 1.51 1.77 0.00 1.17 1.29
time (sec) N/A 0.334 0.302 0.061 1.514 0.903 0.000 0.203 0.886
Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 125 125 151 206 225 272 0 177 177
normalized size 1 1.00 1.21 1.65 1.80 2.18 0.00 1.42 1.42
time (sec) N/A 0.199 0.227 0.053 1.490 0.884 0.000 0.221 0.736
Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 107 107 129 164 177 223 0 140 140
normalized size 1 1.00 1.21 1.53 1.65 2.08 0.00 1.31 1.31
time (sec) N/A 0.154 0.199 0.053 1.424 0.983 0.000 0.193 0.752
Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 91 124 128 172 0 103 117
normalized size 1 1.00 0.91 1.24 1.28 1.72 0.00 1.03 1.17
time (sec) N/A 0.197 0.155 0.054 1.451 1.063 0.000 0.185 0.609
Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 97 97 78 130 105 161 0 92 -1
normalized size 1 1.00 0.80 1.34 1.08 1.66 0.00 0.95 -0.01
time (sec) N/A 0.213 0.154 0.055 1.479 0.977 0.000 0.274 0.000
Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 80 80 86 109 96 160 0 163 -1
normalized size 1 1.00 1.08 1.36 1.20 2.00 0.00 2.04 -0.01
time (sec) N/A 0.196 0.130 0.059 1.418 0.980 0.000 0.498 0.000
Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 44 48 111 59 0 250 113
normalized size 1 1.00 0.72 0.79 1.82 0.97 0.00 4.10 1.85
time (sec) N/A 0.162 0.019 0.047 1.495 0.983 0.000 0.920 0.469
Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 96 96 66 70 161 85 0 310 160
normalized size 1 1.00 0.69 0.73 1.68 0.89 0.00 3.23 1.67
time (sec) N/A 0.211 0.027 0.044 1.479 1.019 0.000 1.355 0.676
Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 133 133 88 94 209 109 0 370 210
normalized size 1 1.00 0.66 0.71 1.57 0.82 0.00 2.78 1.58
time (sec) N/A 0.245 0.030 0.053 1.494 0.998 0.000 1.970 1.039
Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 170 170 94 118 257 133 0 430 260
normalized size 1 1.00 0.55 0.69 1.51 0.78 0.00 2.53 1.53
time (sec) N/A 0.300 0.073 0.049 1.565 1.337 0.000 2.973 1.406
Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 82 91 106 106 0 140 103
normalized size 1 1.00 0.63 0.69 0.81 0.81 0.00 1.07 0.79
time (sec) N/A 0.220 0.064 0.048 1.419 1.394 0.000 0.170 0.252
Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 94 94 64 67 83 82 0 105 83
normalized size 1 1.00 0.68 0.71 0.88 0.87 0.00 1.12 0.88
time (sec) N/A 0.166 0.046 0.051 1.535 1.044 0.000 0.209 0.191
Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 41 45 51 57 0 72 60
normalized size 1 1.00 0.67 0.74 0.84 0.93 0.00 1.18 0.98
time (sec) N/A 0.019 0.028 0.047 1.460 0.847 0.000 0.160 0.153
Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 78 78 84 85 0 159 0 116 99
normalized size 1 1.00 1.08 1.09 0.00 2.04 0.00 1.49 1.27
time (sec) N/A 0.146 0.086 0.050 0.000 0.744 0.000 0.196 0.498
Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 100 100 94 135 0 169 0 76 -1
normalized size 1 1.00 0.94 1.35 0.00 1.69 0.00 0.76 -0.01
time (sec) N/A 0.161 0.049 0.054 0.000 1.136 0.000 0.218 0.000
Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 103 103 95 174 0 198 0 132 -1
normalized size 1 1.00 0.92 1.69 0.00 1.92 0.00 1.28 -0.01
time (sec) N/A 0.158 0.119 0.058 0.000 1.006 0.000 0.304 0.000
Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 223 223 215 328 363 418 0 280 -1
normalized size 1 1.00 0.96 1.47 1.63 1.87 0.00 1.26 -0.00
time (sec) N/A 0.404 0.363 0.081 1.581 1.566 0.000 0.337 0.000
Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 167 167 193 286 315 369 0 246 -1
normalized size 1 1.00 1.16 1.71 1.89 2.21 0.00 1.47 -0.01
time (sec) N/A 0.248 0.319 0.066 1.556 1.291 0.000 0.232 0.000
Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 148 148 171 244 267 316 0 207 236
normalized size 1 1.00 1.16 1.65 1.80 2.14 0.00 1.40 1.59
time (sec) N/A 0.191 0.267 0.060 1.508 1.116 0.000 0.217 1.011
Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 144 144 151 202 216 275 0 178 -1
normalized size 1 1.00 1.05 1.40 1.50 1.91 0.00 1.24 -0.01
time (sec) N/A 0.266 0.243 0.057 1.493 0.894 0.000 0.202 0.000
Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 137 137 130 162 168 224 0 142 -1
normalized size 1 1.00 0.95 1.18 1.23 1.64 0.00 1.04 -0.01
time (sec) N/A 0.296 0.126 0.052 1.429 1.280 0.000 0.207 0.000
Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 128 128 96 174 148 209 0 126 -1
normalized size 1 1.00 0.75 1.36 1.16 1.63 0.00 0.98 -0.01
time (sec) N/A 0.277 0.205 0.059 1.494 1.265 0.000 0.347 0.000
Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 136 136 98 219 167 189 0 225 -1
normalized size 1 1.00 0.72 1.61 1.23 1.39 0.00 1.65 -0.01
time (sec) N/A 0.274 0.054 0.059 1.503 1.102 0.000 0.526 0.000
Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A B A F B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 104 104 94 153 177 207 0 254 -1
normalized size 1 1.00 0.90 1.47 1.70 1.99 0.00 2.44 -0.01
time (sec) N/A 0.251 0.057 0.055 1.381 0.763 0.000 1.024 0.000
Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 44 48 193 82 0 370 156
normalized size 1 1.00 0.72 0.79 3.16 1.34 0.00 6.07 2.56
time (sec) N/A 0.173 0.026 0.046 1.555 1.067 0.000 1.889 1.031
Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 96 96 66 70 241 109 0 430 206
normalized size 1 1.00 0.69 0.73 2.51 1.14 0.00 4.48 2.15
time (sec) N/A 0.233 0.032 0.048 1.532 1.089 0.000 2.863 1.439
Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 133 133 89 94 289 134 0 490 256
normalized size 1 1.00 0.67 0.71 2.17 1.01 0.00 3.68 1.92
time (sec) N/A 0.279 0.038 0.054 1.580 1.340 0.000 3.235 1.925
Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 170 170 95 118 337 157 0 550 306
normalized size 1 1.00 0.56 0.69 1.98 0.92 0.00 3.24 1.80
time (sec) N/A 0.321 0.085 0.044 1.624 1.239 0.000 4.405 2.503
Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A B A F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 207 207 89 142 385 181 0 582 356
normalized size 1 1.00 0.43 0.69 1.86 0.87 0.00 2.81 1.72
time (sec) N/A 0.352 0.077 0.046 1.650 1.865 0.000 5.435 3.210
Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 168 168 113 115 150 154 0 175 143
normalized size 1 1.00 0.67 0.68 0.89 0.92 0.00 1.04 0.85
time (sec) N/A 0.297 0.090 0.052 1.553 0.867 0.000 0.340 0.349
Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 92 91 128 131 0 140 124
normalized size 1 1.00 0.70 0.69 0.98 1.00 0.00 1.07 0.95
time (sec) N/A 0.241 0.076 0.047 1.527 0.928 0.000 0.211 0.292
Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 96 96 71 67 105 106 0 105 103
normalized size 1 1.00 0.74 0.70 1.09 1.10 0.00 1.09 1.07
time (sec) N/A 0.070 0.054 0.052 1.557 1.060 0.000 0.168 0.255
Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 48 45 80 80 0 72 83
normalized size 1 1.00 0.79 0.74 1.31 1.31 0.00 1.18 1.36
time (sec) N/A 0.159 0.035 0.050 1.551 0.910 0.000 0.213 0.229
Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 102 102 109 99 0 206 0 140 -1
normalized size 1 1.00 1.07 0.97 0.00 2.02 0.00 1.37 -0.01
time (sec) N/A 0.205 0.097 0.048 0.000 0.872 0.000 0.176 0.000
Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 133 133 109 172 0 195 0 115 -1
normalized size 1 1.00 0.82 1.29 0.00 1.47 0.00 0.86 -0.01
time (sec) N/A 0.220 0.070 0.057 0.000 1.133 0.000 0.276 0.000
Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 135 135 63 213 0 217 0 145 -1
normalized size 1 1.00 0.47 1.58 0.00 1.61 0.00 1.07 -0.01
time (sec) N/A 0.216 0.040 0.062 0.000 1.096 0.000 0.257 0.000
Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B F A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 140 140 121 259 0 250 0 175 -1
normalized size 1 1.00 0.86 1.85 0.00 1.79 0.00 1.25 -0.01
time (sec) N/A 0.223 0.143 0.075 0.000 0.943 0.000 0.272 0.000
Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 177 177 66 302 0 299 0 214 -1
normalized size 1 1.00 0.37 1.71 0.00 1.69 0.00 1.21 -0.01
time (sec) N/A 0.281 0.037 0.079 0.000 1.003 0.000 0.325 0.000
Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 214 214 65 344 0 345 0 234 -1
normalized size 1 1.00 0.30 1.61 0.00 1.61 0.00 1.09 -0.00
time (sec) N/A 0.339 0.036 0.090 0.000 1.041 0.000 0.309 0.000
Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 251 251 66 386 0 393 0 294 -1
normalized size 1 1.00 0.26 1.54 0.00 1.57 0.00 1.17 -0.00
time (sec) N/A 0.390 0.040 0.151 0.000 1.327 0.000 0.374 0.000
Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 176 176 145 211 231 275 0 149 -1
normalized size 1 1.00 0.82 1.20 1.31 1.56 0.00 0.85 -0.01
time (sec) N/A 0.328 0.262 0.058 1.379 1.000 0.000 0.223 0.000
Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 139 139 123 169 183 226 0 119 -1
normalized size 1 1.00 0.88 1.22 1.32 1.63 0.00 0.86 -0.01
time (sec) N/A 0.275 0.182 0.055 1.454 0.978 0.000 0.250 0.000
Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 83 83 97 127 134 177 0 91 -1
normalized size 1 1.00 1.17 1.53 1.61 2.13 0.00 1.10 -0.01
time (sec) N/A 0.171 0.134 0.054 1.457 0.772 0.000 0.216 0.000
Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 66 66 81 88 88 131 0 67 89
normalized size 1 1.00 1.23 1.33 1.33 1.98 0.00 1.02 1.35
time (sec) N/A 0.123 0.051 0.065 1.437 0.656 0.000 0.215 0.814
Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 57 57 74 67 56 136 0 66 57
normalized size 1 1.00 1.30 1.18 0.98 2.39 0.00 1.16 1.00
time (sec) N/A 0.151 0.041 0.058 1.412 0.882 0.000 0.224 0.509
Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 43 47 70 38 0 88 39
normalized size 1 1.00 0.70 0.77 1.15 0.62 0.00 1.44 0.64
time (sec) N/A 0.168 0.041 0.050 1.469 0.910 0.000 0.201 0.197
Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 96 96 64 70 119 62 0 153 62
normalized size 1 1.00 0.67 0.73 1.24 0.65 0.00 1.59 0.65
time (sec) N/A 0.209 0.029 0.051 1.489 0.684 0.000 0.209 0.251
Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 133 133 89 94 167 86 0 219 121
normalized size 1 1.00 0.67 0.71 1.26 0.65 0.00 1.65 0.91
time (sec) N/A 0.253 0.051 0.054 1.488 0.949 0.000 0.308 0.301
Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 170 170 94 118 215 110 0 287 156
normalized size 1 1.00 0.55 0.69 1.26 0.65 0.00 1.69 0.92
time (sec) N/A 0.303 0.097 0.047 1.542 1.238 0.000 0.268 0.322
Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 85 89 106 83 0 0 87
normalized size 1 1.00 0.65 0.68 0.81 0.63 0.00 0.00 0.66
time (sec) N/A 0.240 0.105 0.048 1.530 0.818 0.000 0.000 0.265
Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 94 94 63 65 83 59 0 0 64
normalized size 1 1.00 0.67 0.69 0.88 0.63 0.00 0.00 0.68
time (sec) N/A 0.193 0.071 0.047 1.540 1.121 0.000 0.000 0.228
Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 59 59 40 42 50 36 0 0 41
normalized size 1 1.00 0.68 0.71 0.85 0.61 0.00 0.00 0.69
time (sec) N/A 0.135 0.052 0.049 1.458 0.682 0.000 0.000 0.187
Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 73 72 0 138 0 60 -1
normalized size 1 1.00 1.33 1.31 0.00 2.51 0.00 1.09 -0.02
time (sec) N/A 0.020 0.039 0.056 0.000 0.704 0.000 0.326 0.000
Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 87 105 0 152 0 0 -1
normalized size 1 1.00 1.28 1.54 0.00 2.24 0.00 0.00 -0.01
time (sec) N/A 0.117 0.089 0.055 0.000 1.126 0.000 0.000 0.000
Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 103 103 104 146 0 199 0 0 -1
normalized size 1 1.00 1.01 1.42 0.00 1.93 0.00 0.00 -0.01
time (sec) N/A 0.165 0.223 0.056 0.000 0.983 0.000 0.000 0.000
Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 184 184 136 166 237 340 0 176 -1
normalized size 1 1.00 0.74 0.90 1.29 1.85 0.00 0.96 -0.01
time (sec) N/A 0.333 0.258 0.057 1.488 0.682 0.000 0.311 0.000
Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 147 147 113 140 187 289 0 147 -1
normalized size 1 1.00 0.77 0.95 1.27 1.97 0.00 1.00 -0.01
time (sec) N/A 0.280 0.209 0.061 1.545 1.017 0.000 0.280 0.000
Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 112 112 91 115 138 230 0 116 -1
normalized size 1 1.00 0.81 1.03 1.23 2.05 0.00 1.04 -0.01
time (sec) N/A 0.242 0.165 0.058 1.514 1.008 0.000 0.263 0.000
Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F(-2) B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 67 67 75 75 79 188 0 0 78
normalized size 1 1.00 1.12 1.12 1.18 2.81 0.00 0.00 1.16
time (sec) N/A 0.177 0.106 0.053 1.481 0.922 0.000 0.000 0.633
Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 37 37 37 47 65 49 0 36 53
normalized size 1 1.00 1.00 1.27 1.76 1.32 0.00 0.97 1.43
time (sec) N/A 0.121 0.020 0.050 1.489 1.165 0.000 0.211 0.181
Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 66 66 64 66 112 72 0 0 70
normalized size 1 1.00 0.97 1.00 1.70 1.09 0.00 0.00 1.06
time (sec) N/A 0.164 0.043 0.048 1.385 0.911 0.000 0.000 0.274
Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 101 101 85 94 160 98 0 0 95
normalized size 1 1.00 0.84 0.93 1.58 0.97 0.00 0.00 0.94
time (sec) N/A 0.220 0.037 0.049 1.501 0.890 0.000 0.000 0.424
Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 138 138 75 118 208 121 0 0 173
normalized size 1 1.00 0.54 0.86 1.51 0.88 0.00 0.00 1.25
time (sec) N/A 0.267 0.054 0.050 1.478 1.112 0.000 0.000 0.559
Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 139 139 82 91 82 93 0 0 92
normalized size 1 1.00 0.59 0.65 0.59 0.67 0.00 0.00 0.66
time (sec) N/A 0.248 0.076 0.051 1.576 0.909 0.000 0.000 0.397
Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 104 104 60 66 59 68 0 0 67
normalized size 1 1.00 0.58 0.63 0.57 0.65 0.00 0.00 0.64
time (sec) N/A 0.200 0.041 0.052 1.559 1.165 0.000 0.000 0.280
Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 69 69 35 44 39 45 0 60 44
normalized size 1 1.00 0.51 0.64 0.57 0.65 0.00 0.87 0.64
time (sec) N/A 0.150 0.027 0.050 1.569 0.694 0.000 0.292 0.210
Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A F A F F(-2) F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 64 64 73 79 0 199 0 0 -1
normalized size 1 1.00 1.14 1.23 0.00 3.11 0.00 0.00 -0.02
time (sec) N/A 0.139 0.035 0.057 0.000 0.934 0.000 0.000 0.000
Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 142 142 61 129 0 260 0 0 -1
normalized size 1 1.00 0.43 0.91 0.00 1.83 0.00 0.00 -0.01
time (sec) N/A 0.089 0.027 0.060 0.000 0.844 0.000 0.000 0.000
Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F A F F B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 137 137 64 157 0 315 0 0 89
normalized size 1 1.00 0.47 1.15 0.00 2.30 0.00 0.00 0.65
time (sec) N/A 0.192 0.048 0.056 0.000 0.923 0.000 0.000 1.263
Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 33 32 27 32 46 29 31
normalized size 1 1.00 0.85 0.82 0.69 0.82 1.18 0.74 0.79
time (sec) N/A 0.023 0.018 0.046 1.344 0.985 20.137 0.147 0.056
Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 33 32 27 32 46 29 31
normalized size 1 1.00 0.85 0.82 0.69 0.82 1.18 0.74 0.79
time (sec) N/A 0.023 0.018 0.059 1.354 0.967 11.253 0.148 0.106
Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 33 32 27 32 46 29 31
normalized size 1 1.00 0.85 0.82 0.69 0.82 1.18 0.74 0.79
time (sec) N/A 0.023 0.017 0.049 1.330 0.680 5.592 0.151 0.044
Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 33 32 27 32 37 29 31
normalized size 1 1.00 0.85 0.82 0.69 0.82 0.95 0.74 0.79
time (sec) N/A 0.021 0.017 0.046 1.307 0.973 2.340 0.161 0.042
Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 33 32 27 32 46 29 31
normalized size 1 1.00 0.85 0.82 0.69 0.82 1.18 0.74 0.79
time (sec) N/A 0.021 0.017 0.050 1.366 0.700 2.060 0.209 0.044
Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 33 32 27 30 46 29 31
normalized size 1 1.00 0.85 0.82 0.69 0.77 1.18 0.74 0.79
time (sec) N/A 0.021 0.016 0.050 1.383 0.934 2.263 0.162 0.043
Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 37 37 33 32 27 29 44 29 31
normalized size 1 1.00 0.89 0.86 0.73 0.78 1.19 0.78 0.84
time (sec) N/A 0.021 0.016 0.049 1.337 0.848 2.624 0.183 0.042
Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 37 37 35 32 27 29 44 29 31
normalized size 1 1.00 0.95 0.86 0.73 0.78 1.19 0.78 0.84
time (sec) N/A 0.021 0.017 0.045 1.328 0.843 3.918 0.187 0.103
Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 63 56 51 56 80 53 51
normalized size 1 1.00 1.00 0.89 0.81 0.89 1.27 0.84 0.81
time (sec) N/A 0.041 0.036 0.048 1.297 0.870 57.866 0.164 0.130
Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 53 56 51 56 80 53 51
normalized size 1 1.00 0.84 0.89 0.81 0.89 1.27 0.84 0.81
time (sec) N/A 0.039 0.034 0.046 1.336 0.819 39.816 0.152 0.050
Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 63 56 51 56 80 53 51
normalized size 1 1.00 1.00 0.89 0.81 0.89 1.27 0.84 0.81
time (sec) N/A 0.038 0.031 0.049 1.300 0.796 20.946 0.172 0.048
Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 53 56 51 56 66 53 51
normalized size 1 1.00 0.84 0.89 0.81 0.89 1.05 0.84 0.81
time (sec) N/A 0.038 0.032 0.049 1.383 0.883 3.729 0.178 0.049
Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 53 56 51 56 80 53 51
normalized size 1 1.00 0.84 0.89 0.81 0.89 1.27 0.84 0.81
time (sec) N/A 0.039 0.032 0.050 1.350 0.880 9.942 0.155 0.048
Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 63 56 51 56 80 53 51
normalized size 1 1.00 1.00 0.89 0.81 0.89 1.27 0.84 0.81
time (sec) N/A 0.039 0.031 0.055 1.364 0.829 10.479 0.208 0.048
Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 53 56 51 56 80 53 51
normalized size 1 1.00 0.84 0.89 0.81 0.89 1.27 0.84 0.81
time (sec) N/A 0.038 0.032 0.057 1.366 0.803 12.055 0.151 0.049
Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 63 63 53 56 51 54 80 53 51
normalized size 1 1.00 0.84 0.89 0.81 0.86 1.27 0.84 0.81
time (sec) N/A 0.038 0.034 0.054 1.332 0.961 15.463 0.173 0.051
Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 85 85 85 80 73 78 114 77 69
normalized size 1 1.00 1.00 0.94 0.86 0.92 1.34 0.91 0.81
time (sec) N/A 0.052 0.052 0.050 1.325 0.600 134.768 0.155 0.102
Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 85 85 85 80 73 78 114 77 69
normalized size 1 1.00 1.00 0.94 0.86 0.92 1.34 0.91 0.81
time (sec) N/A 0.050 0.050 0.049 1.361 0.759 92.322 0.170 0.033
Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 85 85 85 80 73 78 114 77 69
normalized size 1 1.00 1.00 0.94 0.86 0.92 1.34 0.91 0.81
time (sec) N/A 0.050 0.046 0.049 1.377 0.971 54.010 0.153 0.035
Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 85 85 85 80 73 78 95 77 69
normalized size 1 1.00 1.00 0.94 0.86 0.92 1.12 0.91 0.81
time (sec) N/A 0.050 0.043 0.052 1.334 0.841 5.510 0.171 0.033
Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 85 85 85 80 73 78 114 77 69
normalized size 1 1.00 1.00 0.94 0.86 0.92 1.34 0.91 0.81
time (sec) N/A 0.052 0.043 0.051 1.360 0.895 29.884 0.151 0.033
Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 85 85 85 80 73 78 114 77 69
normalized size 1 1.00 1.00 0.94 0.86 0.92 1.34 0.91 0.81
time (sec) N/A 0.050 0.043 0.052 1.321 0.891 31.769 0.156 0.033
Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 85 85 85 80 73 78 114 77 69
normalized size 1 1.00 1.00 0.94 0.86 0.92 1.34 0.91 0.81
time (sec) N/A 0.052 0.040 0.053 1.403 0.768 35.910 0.163 0.036
Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 85 85 85 80 73 78 114 77 69
normalized size 1 1.00 1.00 0.94 0.86 0.92 1.34 0.91 0.81
time (sec) N/A 0.051 0.051 0.047 1.338 0.912 53.837 0.154 0.033
Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 278 278 133 336 237 920 0 298 115
normalized size 1 1.00 0.48 1.21 0.85 3.31 0.00 1.07 0.41
time (sec) N/A 0.274 0.259 0.079 3.070 0.914 0.000 0.244 0.227
Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 276 276 227 330 259 714 0 298 788
normalized size 1 1.00 0.82 1.20 0.94 2.59 0.00 1.08 2.86
time (sec) N/A 0.247 0.309 0.052 3.010 0.891 0.000 0.200 0.252
Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 257 257 110 308 214 899 0 264 92
normalized size 1 1.00 0.43 1.20 0.83 3.50 0.00 1.03 0.36
time (sec) N/A 0.218 0.146 0.050 3.134 1.019 0.000 0.209 0.236
Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 255 255 208 299 235 660 393 263 789
normalized size 1 1.00 0.82 1.17 0.92 2.59 1.54 1.03 3.09
time (sec) N/A 0.209 0.224 0.062 2.990 1.005 164.461 0.196 0.275
Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 237 237 95 280 194 834 459 251 71
normalized size 1 1.00 0.40 1.18 0.82 3.52 1.94 1.06 0.30
time (sec) N/A 0.188 0.080 0.053 3.019 1.127 65.599 0.227 0.153
Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 235 235 166 277 218 645 355 251 739
normalized size 1 1.00 0.71 1.18 0.93 2.74 1.51 1.07 3.14
time (sec) N/A 0.184 0.146 0.056 3.159 0.716 27.828 0.183 0.292
Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 235 235 74 277 194 843 456 251 71
normalized size 1 1.00 0.31 1.18 0.83 3.59 1.94 1.07 0.30
time (sec) N/A 0.189 0.097 0.062 3.011 1.111 18.455 0.194 0.222
Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 237 237 168 280 218 653 364 251 811
normalized size 1 1.00 0.71 1.18 0.92 2.76 1.54 1.06 3.42
time (sec) N/A 0.188 0.154 0.060 3.067 0.932 27.101 0.228 0.301
Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 255 255 46 299 213 883 366 268 90
normalized size 1 1.00 0.18 1.17 0.84 3.46 1.44 1.05 0.35
time (sec) N/A 0.215 0.022 0.061 3.080 0.913 108.599 0.241 0.226
Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 257 257 47 308 247 707 405 257 555
normalized size 1 1.00 0.18 1.20 0.96 2.75 1.58 1.00 2.16
time (sec) N/A 0.214 0.020 0.060 2.930 1.150 109.298 0.187 0.320
Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 276 276 47 330 237 931 0 291 107
normalized size 1 1.00 0.17 1.20 0.86 3.37 0.00 1.05 0.39
time (sec) N/A 0.245 0.017 0.059 3.105 0.982 0.000 0.199 0.234
Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 278 278 47 336 276 734 0 291 563
normalized size 1 1.00 0.17 1.21 0.99 2.64 0.00 1.05 2.03
time (sec) N/A 0.241 0.019 0.059 3.117 0.760 0.000 0.195 0.351
Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 332 332 417 372 298 804 0 335 857
normalized size 1 1.00 1.26 1.12 0.90 2.42 0.00 1.01 2.58
time (sec) N/A 0.277 0.674 0.065 3.071 0.777 0.000 0.220 0.219
Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 310 310 154 348 247 989 0 299 127
normalized size 1 1.00 0.50 1.12 0.80 3.19 0.00 0.96 0.41
time (sec) N/A 0.245 0.297 0.063 3.109 1.276 0.000 0.270 0.171
Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 310 310 385 339 271 748 0 298 823
normalized size 1 1.00 1.24 1.09 0.87 2.41 0.00 0.96 2.65
time (sec) N/A 0.253 0.548 0.068 3.027 0.970 0.000 0.192 0.259
Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 289 289 136 317 223 925 0 283 106
normalized size 1 1.00 0.47 1.10 0.77 3.20 0.00 0.98 0.37
time (sec) N/A 0.229 0.265 0.065 3.312 1.054 0.000 0.209 0.247
Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 289 289 354 323 250 725 0 283 744
normalized size 1 1.00 1.22 1.12 0.87 2.51 0.00 0.98 2.57
time (sec) N/A 0.234 0.528 0.064 3.108 1.089 0.000 0.195 0.212
Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 261 261 95 305 217 912 0 273 91
normalized size 1 1.00 0.36 1.17 0.83 3.49 0.00 1.05 0.35
time (sec) N/A 0.200 0.182 0.062 3.110 1.033 0.000 0.209 0.229
Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 261 261 203 305 241 717 0 273 750
normalized size 1 1.00 0.78 1.17 0.92 2.75 0.00 1.05 2.87
time (sec) N/A 0.200 0.366 0.056 3.110 0.984 0.000 0.207 0.331
Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 284 284 117 323 222 920 0 278 104
normalized size 1 1.00 0.41 1.14 0.78 3.24 0.00 0.98 0.37
time (sec) N/A 0.230 0.316 0.060 3.036 1.161 0.000 0.205 0.232
Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 289 289 355 317 251 741 0 283 859
normalized size 1 1.00 1.23 1.10 0.87 2.56 0.00 0.98 2.97
time (sec) N/A 0.225 0.582 0.058 3.111 1.094 0.000 0.195 0.372
Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 310 310 151 339 250 974 0 303 121
normalized size 1 1.00 0.49 1.09 0.81 3.14 0.00 0.98 0.39
time (sec) N/A 0.271 0.637 0.063 3.026 1.033 0.000 0.209 0.246
Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 310 310 385 348 286 795 0 292 595
normalized size 1 1.00 1.24 1.12 0.92 2.56 0.00 0.94 1.92
time (sec) N/A 0.255 0.733 0.065 3.125 1.117 0.000 0.246 0.399
Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 332 332 176 372 276 1024 0 328 142
normalized size 1 1.00 0.53 1.12 0.83 3.08 0.00 0.99 0.43
time (sec) N/A 0.286 0.593 0.070 3.014 1.057 0.000 0.211 0.200
Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 343 343 435 381 306 817 0 321 865
normalized size 1 1.00 1.27 1.11 0.89 2.38 0.00 0.94 2.52
time (sec) N/A 0.278 0.628 0.076 3.080 1.011 0.000 0.234 0.249
Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 322 322 176 357 256 993 0 304 138
normalized size 1 1.00 0.55 1.11 0.80 3.08 0.00 0.94 0.43
time (sec) N/A 0.247 0.469 0.067 3.095 0.782 0.000 0.232 0.261
Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 322 322 403 363 283 793 0 304 760
normalized size 1 1.00 1.25 1.13 0.88 2.46 0.00 0.94 2.36
time (sec) N/A 0.254 0.627 0.072 3.060 0.844 0.000 0.202 0.228
Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 293 293 137 325 251 990 0 293 122
normalized size 1 1.00 0.47 1.11 0.86 3.38 0.00 1.00 0.42
time (sec) N/A 0.223 0.319 0.065 3.109 0.941 0.000 0.231 0.174
Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 298 298 389 334 280 806 0 298 799
normalized size 1 1.00 1.31 1.12 0.94 2.70 0.00 1.00 2.68
time (sec) N/A 0.236 0.707 0.065 2.965 0.880 0.000 0.194 0.383
Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 298 298 62 335 253 1005 0 298 124
normalized size 1 1.00 0.21 1.12 0.85 3.37 0.00 1.00 0.42
time (sec) N/A 0.229 0.087 0.070 3.014 0.837 0.000 0.233 0.165
Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 293 293 230 325 276 793 0 293 780
normalized size 1 1.00 0.78 1.11 0.94 2.71 0.00 1.00 2.66
time (sec) N/A 0.231 0.378 0.064 3.054 0.901 0.000 0.195 0.392
Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 316 316 147 363 255 988 0 300 133
normalized size 1 1.00 0.47 1.15 0.81 3.13 0.00 0.95 0.42
time (sec) N/A 0.256 0.294 0.069 3.074 0.987 0.000 0.212 0.261
Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 322 322 400 357 285 809 0 304 888
normalized size 1 1.00 1.24 1.11 0.89 2.51 0.00 0.94 2.76
time (sec) N/A 0.251 0.496 0.068 3.089 0.853 0.000 0.205 0.446
Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 343 343 189 381 285 1043 0 326 152
normalized size 1 1.00 0.55 1.11 0.83 3.04 0.00 0.95 0.44
time (sec) N/A 0.275 0.517 0.070 3.038 0.928 0.000 0.221 0.194
Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 343 343 433 390 321 864 0 315 626
normalized size 1 1.00 1.26 1.14 0.94 2.52 0.00 0.92 1.83
time (sec) N/A 0.278 0.571 0.068 3.145 1.025 0.000 0.219 0.449
Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 365 365 216 414 311 1093 0 351 173
normalized size 1 1.00 0.59 1.13 0.85 2.99 0.00 0.96 0.47
time (sec) N/A 0.320 0.552 0.074 3.083 1.250 0.000 0.260 0.289
Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A B F(-1) A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 365 365 467 420 353 894 0 351 639
normalized size 1 1.00 1.28 1.15 0.97 2.45 0.00 0.96 1.75
time (sec) N/A 0.321 0.628 0.072 3.097 0.831 0.000 0.281 0.507
Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 243 243 136 307 0 0 0 0 -1
normalized size 1 1.00 0.56 1.26 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.390 0.177 0.201 0.000 1.084 0.000 0.000 0.000
Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 369 369 111 446 0 0 0 0 -1
normalized size 1 1.00 0.30 1.21 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.436 0.145 0.096 0.000 0.847 0.000 0.000 0.000
Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 204 204 111 283 0 0 0 0 -1
normalized size 1 1.00 0.54 1.39 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.300 0.139 0.097 0.000 0.950 0.000 0.000 0.000
Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 326 326 94 422 0 0 0 0 -1
normalized size 1 1.00 0.29 1.29 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.375 0.095 0.088 0.000 0.789 0.000 0.000 0.000
Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 165 165 94 257 0 0 0 0 -1
normalized size 1 1.00 0.57 1.56 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.254 0.062 0.092 0.000 0.922 0.000 0.000 0.000
Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 323 323 97 399 0 0 0 0 -1
normalized size 1 1.00 0.30 1.24 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.362 0.048 0.109 0.000 0.937 0.000 0.000 0.000
Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 163 163 97 239 0 0 0 0 -1
normalized size 1 1.00 0.60 1.47 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.243 0.048 0.085 0.000 0.864 0.000 0.000 0.000
Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 328 328 96 422 0 0 0 0 -1
normalized size 1 1.00 0.29 1.29 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.374 0.052 0.104 0.000 0.948 0.000 0.000 0.000
Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 167 167 98 255 0 0 0 0 -1
normalized size 1 1.00 0.59 1.53 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.250 0.063 0.092 0.000 0.804 0.000 0.000 0.000
Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 369 369 99 452 0 0 0 0 -1
normalized size 1 1.00 0.27 1.22 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.436 0.055 0.097 0.000 0.966 0.000 0.000 0.000
Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 204 204 98 283 0 0 0 0 -1
normalized size 1 1.00 0.48 1.39 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.308 0.063 0.099 0.000 0.765 0.000 0.000 0.000
Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 486 486 160 518 0 0 0 0 -1
normalized size 1 1.00 0.33 1.07 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.671 0.305 0.107 0.000 0.987 0.000 0.000 0.000
Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 321 321 160 355 0 0 0 0 -1
normalized size 1 1.00 0.50 1.11 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.490 0.229 0.102 0.000 1.015 0.000 0.000 0.000
Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 447 447 138 494 0 0 0 0 -1
normalized size 1 1.00 0.31 1.11 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.590 0.192 0.079 0.000 0.954 0.000 0.000 0.000
Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 282 282 138 331 0 0 0 0 -1
normalized size 1 1.00 0.49 1.17 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.425 0.185 0.069 0.000 1.049 0.000 0.000 0.000
Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 408 408 115 470 0 0 0 0 -1
normalized size 1 1.00 0.28 1.15 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.515 0.159 0.069 0.000 0.818 0.000 0.000 0.000
Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 239 239 115 307 0 0 0 0 -1
normalized size 1 1.00 0.48 1.28 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.369 0.154 0.068 0.000 0.976 0.000 0.000 0.000
Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 369 369 98 446 0 0 0 0 -1
normalized size 1 1.00 0.27 1.21 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.450 0.108 0.071 0.000 1.176 0.000 0.000 0.000
Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 201 201 97 283 0 0 0 0 -1
normalized size 1 1.00 0.48 1.41 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.312 0.073 0.068 0.000 1.285 0.000 0.000 0.000
Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 356 356 85 429 0 0 0 0 -1
normalized size 1 1.00 0.24 1.21 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.446 0.080 0.078 0.000 1.104 0.000 0.000 0.000
Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 200 200 101 260 0 0 0 0 -1
normalized size 1 1.00 0.50 1.30 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.322 0.086 0.088 0.000 1.070 0.000 0.000 0.000
Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 354 354 99 427 0 0 0 0 -1
normalized size 1 1.00 0.28 1.21 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.435 0.068 0.072 0.000 1.034 0.000 0.000 0.000
Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 204 204 101 254 0 0 0 0 -1
normalized size 1 1.00 0.50 1.25 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.319 0.058 0.076 0.000 0.668 0.000 0.000 0.000
Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 364 364 100 452 0 0 0 0 -1
normalized size 1 1.00 0.27 1.24 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.446 0.061 0.073 0.000 1.058 0.000 0.000 0.000
Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 243 243 143 298 0 0 0 0 -1
normalized size 1 1.00 0.59 1.23 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.368 0.177 0.091 0.000 1.031 0.000 0.000 0.000
Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 369 369 122 437 0 0 0 0 -1
normalized size 1 1.00 0.33 1.18 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.445 0.152 0.092 0.000 1.065 0.000 0.000 0.000
Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 204 204 122 274 0 0 0 0 -1
normalized size 1 1.00 0.60 1.34 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.314 0.146 0.071 0.000 0.868 0.000 0.000 0.000
Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 330 330 97 413 0 0 0 0 -1
normalized size 1 1.00 0.29 1.25 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.377 0.122 0.069 0.000 0.696 0.000 0.000 0.000
Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 167 167 97 248 0 0 0 0 -1
normalized size 1 1.00 0.58 1.49 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.255 0.120 0.068 0.000 1.014 0.000 0.000 0.000
Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 293 293 81 378 0 0 0 0 -1
normalized size 1 1.00 0.28 1.29 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.311 0.100 0.067 0.000 0.844 0.000 0.000 0.000
Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 130 130 80 216 0 0 0 0 -1
normalized size 1 1.00 0.62 1.66 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.198 0.067 0.066 0.000 0.908 0.000 0.000 0.000
Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 281 281 82 377 0 0 0 0 -1
normalized size 1 1.00 0.29 1.34 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.309 0.052 0.069 0.000 0.992 0.000 0.000 0.000
Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 82 219 0 0 0 0 -1
normalized size 1 1.00 0.63 1.67 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.204 0.070 0.072 0.000 0.925 0.000 0.000 0.000
Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 332 332 83 413 0 0 0 0 -1
normalized size 1 1.00 0.25 1.24 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.378 0.068 0.075 0.000 1.152 0.000 0.000 0.000
Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 167 167 85 247 0 0 0 0 -1
normalized size 1 1.00 0.51 1.48 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.253 0.052 0.071 0.000 1.307 0.000 0.000 0.000
Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 369 369 84 443 0 0 0 0 -1
normalized size 1 1.00 0.23 1.20 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.441 0.055 0.083 0.000 1.160 0.000 0.000 0.000
Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 204 204 84 274 0 0 0 0 -1
normalized size 1 1.00 0.41 1.34 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.311 0.066 0.086 0.000 1.324 0.000 0.000 0.000
Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 251 251 134 281 0 0 0 0 -1
normalized size 1 1.00 0.53 1.12 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.390 0.245 0.149 0.000 0.888 0.000 0.000 0.000
Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 377 377 110 420 0 0 0 0 -1
normalized size 1 1.00 0.29 1.11 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.461 0.181 0.122 0.000 1.219 0.000 0.000 0.000
Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 214 214 110 255 0 0 0 0 -1
normalized size 1 1.00 0.51 1.19 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.327 0.175 0.089 0.000 0.966 0.000 0.000 0.000
Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 340 340 85 394 0 0 0 0 -1
normalized size 1 1.00 0.25 1.16 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.397 0.133 0.092 0.000 0.963 0.000 0.000 0.000
Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 178 178 86 230 0 0 0 0 -1
normalized size 1 1.00 0.48 1.29 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.272 0.130 0.082 0.000 0.933 0.000 0.000 0.000
Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 299 299 78 388 0 0 0 0 -1
normalized size 1 1.00 0.26 1.30 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.328 0.111 0.081 0.000 1.023 0.000 0.000 0.000
Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 137 137 76 222 0 0 0 0 -1
normalized size 1 1.00 0.55 1.62 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.221 0.079 0.087 0.000 0.966 0.000 0.000 0.000
Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 318 318 77 392 0 0 0 0 -1
normalized size 1 1.00 0.24 1.23 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.390 0.082 0.098 0.000 1.000 0.000 0.000 0.000
Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 167 167 92 235 0 0 0 0 -1
normalized size 1 1.00 0.55 1.41 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.272 0.071 0.090 0.000 1.333 0.000 0.000 0.000
Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 368 368 79 420 0 0 0 0 -1
normalized size 1 1.00 0.21 1.14 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.451 0.062 0.087 0.000 1.027 0.000 0.000 0.000
Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 203 203 79 254 0 0 0 0 -1
normalized size 1 1.00 0.39 1.25 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.328 0.052 0.093 0.000 0.959 0.000 0.000 0.000
Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C A F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 405 405 79 450 0 0 0 0 -1
normalized size 1 1.00 0.20 1.11 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.522 0.058 0.094 0.000 0.931 0.000 0.000 0.000
Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 96 96 89 474 129 381 2077 603 291
normalized size 1 1.00 0.93 4.94 1.34 3.97 21.64 6.28 3.03
time (sec) N/A 0.070 0.142 0.052 1.366 0.914 9.055 0.215 0.477
Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 71 71 66 262 91 217 1051 340 179
normalized size 1 1.00 0.93 3.69 1.28 3.06 14.80 4.79 2.52
time (sec) N/A 0.052 0.071 0.052 1.371 0.969 4.422 0.189 0.340
Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B A B A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 45 45 42 110 53 94 415 149 97
normalized size 1 1.00 0.93 2.44 1.18 2.09 9.22 3.31 2.16
time (sec) N/A 0.030 0.054 0.049 1.300 1.279 1.621 0.163 0.247
Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 71 71 55 0 0 0 0 0 -1
normalized size 1 1.00 0.77 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.047 0.076 0.546 0.000 0.767 0.000 0.000 0.000
Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 98 92 80 0 0 0 0 0 -1
normalized size 1 0.94 0.82 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.060 0.105 0.532 0.000 0.890 0.000 0.000 0.000
Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 140 126 135 0 0 0 0 0 -1
normalized size 1 0.90 0.96 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.137 0.122 0.530 0.000 0.989 0.000 0.000 0.000
Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F A A F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 95 95 63 0 112 140 0 0 -1
normalized size 1 1.00 0.66 0.00 1.18 1.47 0.00 0.00 -0.01
time (sec) N/A 0.156 0.075 0.799 2.042 0.918 0.000 0.000 0.000
Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 113 113 111 0 0 0 0 0 -1
normalized size 1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.224 0.176 2.311 0.000 0.846 0.000 0.000 0.000
Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F(-1) F F
verified N/A Yes NO TBD TBD TBD TBD TBD TBD
size 129 129 210 0 0 0 0 0 -1
normalized size 1 1.00 1.63 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.357 0.246 1.081 0.000 0.690 0.000 0.000 0.000
Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 19 16 15 15 17 17 13
normalized size 1 1.00 1.00 0.84 0.79 0.79 0.89 0.89 0.68
time (sec) N/A 0.026 0.006 0.046 2.909 0.863 0.113 0.155 0.171
Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A B B A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 15 15 36 35 11 10 16 11
normalized size 1 1.00 1.00 2.40 2.33 0.73 0.67 1.07 0.73
time (sec) N/A 0.022 0.006 0.050 3.010 0.928 0.121 0.152 0.153
Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 17 17 17 14 13 13 14 16 13
normalized size 1 1.00 1.00 0.82 0.76 0.76 0.82 0.94 0.76
time (sec) N/A 0.025 0.006 0.048 2.939 1.265 0.146 0.191 0.139
Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 16 15 14 18 10 16 14
normalized size 1 1.00 1.00 0.94 0.88 1.12 0.62 1.00 0.88
time (sec) N/A 0.014 0.004 0.053 1.623 0.687 0.102 0.183 0.129
Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 52 0 0 0 0 0 -1
normalized size 1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.050 0.021 0.920 0.000 1.025 0.000 0.000 0.000
Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A C F B B F(-1) B F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 18 18 116 0 37 43 0 48 -1
normalized size 1 1.00 6.44 0.00 2.06 2.39 0.00 2.67 -0.06
time (sec) N/A 0.038 0.221 1.104 2.150 0.788 0.000 0.369 0.000
Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 64 64 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.064 0.109 0.589 0.000 0.720 0.000 0.000 0.000
Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 195 195 157 0 0 0 0 0 -1
normalized size 1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.216 0.174 0.510 0.000 1.001 0.000 0.000 0.000
Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 131 131 119 0 0 0 0 0 -1
normalized size 1 1.00 0.91 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.097 0.079 0.539 0.000 1.056 0.000 0.000 0.000
Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 101 101 97 0 0 0 0 0 -1
normalized size 1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.056 0.036 0.520 0.000 0.783 0.000 0.000 0.000
Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 54 54 54 0 0 0 0 0 -1
normalized size 1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.039 0.017 0.525 0.000 0.655 0.000 0.000 0.000
Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 84 84 77 0 0 0 0 0 -1
normalized size 1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.056 0.026 0.556 0.000 0.697 0.000 0.000 0.000
Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 115 115 112 0 0 0 0 0 -1
normalized size 1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.096 0.144 0.529 0.000 1.207 0.000 0.000 0.000
Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 207 207 184 0 0 0 0 0 -1
normalized size 1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.158 0.239 0.526 0.000 0.744 0.000 0.000 0.000
Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A F F F F F F F
verified N/A Yes N/A TBD TBD TBD TBD TBD TBD
size 73 73 0 0 0 0 0 0 -1
normalized size 1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.071 0.108 0.518 0.000 1.011 0.000 0.000 0.000
Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 202 202 179 0 0 0 0 0 -1
normalized size 1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.239 0.242 0.534 0.000 0.815 0.000 0.000 0.000
Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 150 150 120 0 0 0 0 0 -1
normalized size 1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.115 0.151 0.539 0.000 0.913 0.000 0.000 0.000
Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 56 56 57 0 0 0 0 0 -1
normalized size 1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.02
time (sec) N/A 0.033 0.040 0.510 0.000 1.153 0.000 0.000 0.000
Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 105 105 88 0 0 0 0 0 -1
normalized size 1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.068 0.124 0.563 0.000 0.950 0.000 0.000 0.000
Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 133 133 125 0 0 0 0 0 -1
normalized size 1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.01
time (sec) N/A 0.131 0.111 0.511 0.000 0.867 0.000 0.000 0.000
Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad
grade A A A F F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 217 217 182 0 0 0 0 0 -1
normalized size 1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 -0.00
time (sec) N/A 0.264 0.346 0.540 0.000 1.025 0.000 0.000 0.000

2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac {\text {number of rules}}{\text {integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [207] had the largest ratio of [.4231]

Table 2.1:Rubi specific breakdown of results for each integral
# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac {\text {number of rules}}{\text {integrand leaf size}}\)
1 A 3 2 1.00 22 0.091
2 A 4 3 1.00 20 0.150
3 A 3 2 1.00 19 0.105
4 A 4 3 1.00 22 0.136
5 A 3 2 1.00 22 0.091
6 A 4 3 1.00 22 0.136
7 A 3 2 1.00 22 0.091
8 A 4 3 1.00 22 0.136
9 A 3 2 1.00 22 0.091
10 A 4 3 1.00 22 0.136
11 A 3 2 1.00 22 0.091
12 A 3 2 1.00 21 0.095
13 A 4 3 1.00 24 0.125
14 A 3 2 1.00 24 0.083
15 A 4 3 1.00 24 0.125
16 A 3 2 1.00 24 0.083
17 A 5 4 1.00 24 0.167
18 A 3 2 1.00 24 0.083
19 A 4 3 1.00 24 0.125
20 A 3 2 1.00 24 0.083
21 A 4 3 1.00 24 0.125
22 A 3 2 1.00 24 0.083
23 A 4 3 1.00 24 0.125
24 A 3 2 1.00 24 0.083
25 A 3 2 1.00 24 0.083
26 A 4 3 1.00 24 0.125
27 A 3 2 1.00 24 0.083
28 A 4 3 1.00 24 0.125
29 A 3 2 1.00 24 0.083
30 A 5 4 1.00 24 0.167
31 A 3 2 1.00 24 0.083
32 A 4 3 1.00 24 0.125
33 A 3 2 1.00 24 0.083
34 A 4 3 1.00 24 0.125
35 A 3 2 1.00 24 0.083
36 A 4 3 1.00 24 0.125
37 A 3 2 1.00 24 0.083
38 A 5 4 1.00 24 0.167
39 A 3 2 1.00 24 0.083
40 A 4 4 1.00 24 0.167
41 A 5 4 1.00 24 0.167
42 A 4 3 1.00 24 0.125
43 A 5 4 1.00 24 0.167
44 A 4 3 1.00 24 0.125
45 A 5 4 1.00 24 0.167
46 A 4 3 1.00 24 0.125
47 A 4 4 1.00 24 0.167
48 A 4 3 1.00 24 0.125
49 A 3 3 1.00 24 0.125
50 A 4 3 1.00 22 0.136
51 A 3 3 1.00 21 0.143
52 A 3 3 1.00 22 0.136
53 A 4 3 1.00 24 0.125
54 A 4 4 1.00 24 0.167
55 A 4 3 1.00 24 0.125
56 A 5 4 1.00 24 0.167
57 A 4 3 1.00 24 0.125
58 A 5 4 1.00 24 0.167
59 A 4 3 1.00 24 0.125
60 A 5 4 1.00 24 0.167
61 A 4 3 1.00 24 0.125
62 A 5 4 1.00 24 0.167
63 A 4 3 1.00 24 0.125
64 A 4 4 1.00 24 0.167
65 A 4 3 1.00 24 0.125
66 A 3 3 1.00 24 0.125
67 A 4 3 1.00 24 0.125
68 A 4 4 1.00 24 0.167
69 A 4 3 1.00 22 0.136
70 A 5 4 1.00 21 0.190
71 A 4 3 1.00 24 0.125
72 A 5 4 1.00 24 0.167
73 A 6 5 1.00 24 0.208
74 A 4 3 1.00 24 0.125
75 A 6 5 1.00 24 0.208
76 A 4 3 1.00 24 0.125
77 A 5 5 1.00 24 0.208
78 A 4 3 1.00 24 0.125
79 A 4 4 1.00 24 0.167
80 A 3 3 1.00 24 0.125
81 A 4 4 1.00 24 0.167
82 A 4 3 1.00 24 0.125
83 A 5 4 1.00 24 0.167
84 A 4 3 1.00 24 0.125
85 A 6 5 1.00 24 0.208
86 A 4 3 1.00 22 0.136
87 A 6 5 1.00 21 0.238
88 A 4 3 1.00 24 0.125
89 A 8 7 1.00 26 0.269
90 A 7 7 1.00 26 0.269
91 A 5 5 1.00 26 0.192
92 A 5 5 1.00 24 0.208
93 A 5 5 1.00 26 0.192
94 A 5 5 1.00 26 0.192
95 A 5 5 1.00 26 0.192
96 A 3 3 1.00 26 0.115
97 A 4 4 1.00 26 0.154
98 A 5 4 1.00 26 0.154
99 A 6 4 1.00 26 0.154
100 A 4 3 1.00 26 0.115
101 A 3 3 1.00 26 0.115
102 A 2 2 1.00 23 0.087
103 A 4 4 1.00 26 0.154
104 A 4 4 1.00 26 0.154
105 A 4 4 1.00 26 0.154
106 A 8 7 1.00 26 0.269
107 A 6 5 1.00 26 0.192
108 A 6 5 1.00 24 0.208
109 A 6 6 1.00 26 0.231
110 A 6 6 1.00 26 0.231
111 A 6 5 1.00 26 0.192
112 A 6 6 1.00 26 0.231
113 A 6 5 1.00 26 0.192
114 A 3 3 1.00 26 0.115
115 A 4 4 1.00 26 0.154
116 A 5 4 1.00 26 0.154
117 A 6 4 1.00 26 0.154
118 A 7 4 1.00 26 0.154
119 A 5 4 1.00 26 0.154
120 A 4 4 1.00 26 0.154
121 A 3 3 1.00 23 0.130
122 A 2 2 1.00 26 0.077
123 A 5 4 1.00 26 0.154
124 A 5 4 1.00 26 0.154
125 A 5 5 1.00 26 0.192
126 A 5 4 1.00 26 0.154
127 A 6 5 1.00 26 0.192
128 A 7 5 1.00 26 0.192
129 A 8 5 1.00 26 0.192
130 A 7 6 1.00 26 0.231
131 A 6 6 1.00 26 0.231
132 A 4 4 1.00 26 0.154
133 A 4 4 1.00 24 0.167
134 A 4 4 1.00 26 0.154
135 A 3 3 1.00 26 0.115
136 A 4 4 1.00 26 0.154
137 A 5 4 1.00 26 0.154
138 A 6 4 1.00 26 0.154
139 A 4 3 1.00 26 0.115
140 A 3 3 1.00 26 0.115
141 A 2 2 1.00 26 0.077
142 A 3 3 1.00 23 0.130
143 A 3 3 1.00 26 0.115
144 A 4 4 1.00 26 0.154
145 A 7 6 1.00 26 0.231
146 A 6 6 1.00 26 0.231
147 A 5 5 1.00 26 0.192
148 A 4 4 1.00 26 0.154
149 A 2 2 1.00 24 0.083
150 A 3 3 1.00 26 0.115
151 A 4 4 1.00 26 0.154
152 A 5 4 1.00 26 0.154
153 A 4 3 1.00 26 0.115
154 A 3 3 1.00 26 0.115
155 A 2 2 1.00 26 0.077
156 A 3 3 1.00 26 0.115
157 A 5 5 1.00 23 0.217
158 A 5 5 1.00 26 0.192
159 A 3 2 1.00 24 0.083
160 A 3 2 1.00 24 0.083
161 A 3 2 1.00 24 0.083
162 A 3 2 1.00 24 0.083
163 A 3 2 1.00 24 0.083
164 A 3 2 1.00 24 0.083
165 A 3 2 1.00 24 0.083
166 A 3 2 1.00 24 0.083
167 A 3 2 1.00 26 0.077
168 A 3 2 1.00 26 0.077
169 A 3 2 1.00 26 0.077
170 A 3 2 1.00 26 0.077
171 A 3 2 1.00 26 0.077
172 A 3 2 1.00 26 0.077
173 A 3 2 1.00 26 0.077
174 A 3 2 1.00 26 0.077
175 A 3 2 1.00 26 0.077
176 A 3 2 1.00 26 0.077
177 A 3 2 1.00 26 0.077
178 A 3 2 1.00 26 0.077
179 A 3 2 1.00 26 0.077
180 A 3 2 1.00 26 0.077
181 A 3 2 1.00 26 0.077
182 A 3 2 1.00 26 0.077
183 A 14 10 1.00 26 0.385
184 A 14 10 1.00 26 0.385
185 A 13 10 1.00 26 0.385
186 A 13 10 1.00 26 0.385
187 A 12 9 1.00 26 0.346
188 A 12 9 1.00 26 0.346
189 A 12 9 1.00 26 0.346
190 A 12 9 1.00 26 0.346
191 A 13 10 1.00 26 0.385
192 A 13 10 1.00 26 0.385
193 A 14 10 1.00 26 0.385
194 A 14 10 1.00 26 0.385
195 A 15 10 1.00 26 0.385
196 A 14 10 1.00 26 0.385
197 A 14 10 1.00 26 0.385
198 A 13 10 1.00 26 0.385
199 A 13 10 1.00 26 0.385
200 A 12 9 1.00 26 0.346
201 A 12 9 1.00 26 0.346
202 A 13 10 1.00 26 0.385
203 A 13 10 1.00 26 0.385
204 A 14 10 1.00 26 0.385
205 A 14 10 1.00 26 0.385
206 A 15 10 1.00 26 0.385
207 A 15 11 1.00 26 0.423
208 A 14 11 1.00 26 0.423
209 A 14 11 1.00 26 0.423
210 A 13 10 1.00 26 0.385
211 A 13 10 1.00 26 0.385
212 A 13 10 1.00 26 0.385
213 A 13 10 1.00 26 0.385
214 A 14 11 1.00 26 0.423
215 A 14 11 1.00 26 0.423
216 A 15 11 1.00 26 0.423
217 A 15 11 1.00 26 0.423
218 A 16 11 1.00 26 0.423
219 A 16 11 1.00 26 0.423
220 A 7 6 1.00 28 0.214
221 A 8 8 1.00 28 0.286
222 A 6 6 1.00 28 0.214
223 A 7 7 1.00 28 0.250
224 A 5 5 1.00 28 0.179
225 A 7 7 1.00 28 0.250
226 A 5 5 1.00 28 0.179
227 A 7 7 1.00 28 0.250
228 A 5 5 1.00 28 0.179
229 A 8 8 1.00 28 0.286
230 A 6 6 1.00 28 0.214
231 A 11 8 1.00 28 0.286
232 A 9 6 1.00 28 0.214
233 A 10 8 1.00 28 0.286
234 A 8 6 1.00 28 0.214
235 A 9 8 1.00 28 0.286
236 A 7 6 1.00 28 0.214
237 A 8 7 1.00 28 0.250
238 A 6 5 1.00 28 0.179
239 A 8 7 1.00 28 0.250
240 A 6 5 1.00 28 0.179
241 A 8 8 1.00 28 0.286
242 A 6 6 1.00 28 0.214
243 A 8 7 1.00 28 0.250
244 A 7 5 1.00 28 0.179
245 A 8 7 1.00 28 0.250
246 A 6 5 1.00 28 0.179
247 A 7 7 1.00 28 0.250
248 A 5 5 1.00 28 0.179
249 A 6 6 1.00 28 0.214
250 A 4 4 1.00 28 0.143
251 A 6 6 1.00 28 0.214
252 A 4 4 1.00 28 0.143
253 A 7 7 1.00 28 0.250
254 A 5 5 1.00 28 0.179
255 A 8 7 1.00 28 0.250
256 A 6 5 1.00 28 0.179
257 A 7 5 1.00 28 0.179
258 A 8 7 1.00 28 0.250
259 A 6 5 1.00 28 0.179
260 A 7 7 1.00 28 0.250
261 A 5 5 1.00 28 0.179
262 A 6 6 1.00 28 0.214
263 A 4 4 1.00 28 0.143
264 A 7 7 1.00 28 0.250
265 A 5 5 1.00 28 0.179
266 A 8 8 1.00 28 0.286
267 A 6 6 1.00 28 0.214
268 A 9 8 1.00 28 0.286
269 A 3 2 1.00 24 0.083
270 A 3 2 1.00 24 0.083
271 A 3 2 1.00 22 0.091
272 A 3 3 1.00 24 0.125
273 A 3 3 0.94 24 0.125
274 A 4 4 0.90 24 0.167
275 A 2 2 1.00 32 0.062
276 A 4 3 1.00 30 0.100
277 A 4 3 1.00 34 0.088
278 A 4 3 1.00 19 0.158
279 A 4 3 1.00 15 0.200
280 A 4 3 1.00 19 0.158
281 A 3 2 1.00 17 0.118
282 A 4 4 1.00 25 0.160
283 A 2 2 1.00 39 0.051
284 A 4 4 1.00 20 0.200
285 A 7 7 1.00 20 0.350
286 A 6 6 1.00 18 0.333
287 A 5 5 1.00 17 0.294
288 A 3 3 1.00 20 0.150
289 A 4 4 1.00 20 0.200
290 A 5 4 1.00 20 0.200
291 A 5 4 1.00 20 0.200
292 A 4 4 1.00 20 0.200
293 A 7 7 1.00 20 0.350
294 A 6 6 1.00 18 0.333
295 A 3 3 1.00 17 0.176
296 A 4 4 1.00 20 0.200
297 A 5 5 1.00 20 0.250
298 A 5 5 1.00 20 0.250

[next] [prev] [prev-tail] [front] [up]